Predicate logic - PDFSEARCH.IO - Document Search Engine

Predicate logic
Results: 1102

#	Item
411	Knowledge Vault: A Web-Scale Approach to Probabilistic Knowledge Fusion ∗ Xin Luna Dong , Evgeniy Gabrilovich, Geremy Heitz, Wilko Horn, Ni Lao, † Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2014-08-22 00:01:31 Natural language processing Semantics Computational linguistics Bayesian statistics Philosophy of science Information extraction Knowledge representation and reasoning Prior probability Predicate Logic Science Linguistics
412	Distributed Policy Management and Comprehension with Classified Advertisements Nicholas Coleman, Rajesh Raman, Miron Livny and Marvin Solomon University of Wisconsin, 1210 West Dayton Street, Madison, WI 53703 {ncoleman, Add to Reading List Source URL: research.cs.wisc.edu Language: English - Date: 2012-10-24 18:42:57 Programming paradigms SQL keywords Query languages Functions and mappings Relational model Predicate Function Null Relational algebra Logic Mathematics Mathematical logic
413	Representation in Quantum Theory: Philosophical and Logical Perspectives Second Encounter about Philosophy and Logic of Quantum Mechanics in the South Cone at the Seventh Principia International Symposium August 18, 2011 Add to Reading List Source URL: www.vub.ac.be Language: English - Date: 2011-08-10 06:58:16 Quantum superposition Quantum mechanics Mereology Predicate logic
414	Situation Economy Ezra Keshet MIT This paper begins with the assumption that possible worlds and times are represented as situation pronouns in natural language (see Cresswell, 1990; Percus, 2000; Kusumoto, 2005; Keshet, Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:00:39 Parts of speech Predicate logic Grammar Predicate Semantics Copula Shifting Function Singular they Linguistics Logic Mathematics
415	The Syntax and Semantics of Excess: OVER-Predicates in Germanic Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:01:27 Grammar Predicate Semantics Predicate logic Shifting Causative Logic Linguistics Mathematical logic
416	Some Remarks on Domain Widening Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:00:25 Semantics Quantification Parts of speech Predicate logic Predicate Function Universal quantification Singular they Existential quantification Logic Mathematical logic Linguistics
417	Specialization Tools and Techniques for Systematic Optimization of System Software DYLAN MCNAMEE, JONATHAN WALPOLE, CALTON PU, CRISPIN COWAN, CHARLES KRASIC, ASHVIN GOEL, and PERRY WAGLE Oregon Graduate Institute of Scie Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2004-09-04 03:34:36 Generic programming C++ Predicate logic Predicate Semantics Template Partial evaluation Specialization Software engineering Logic Computing
418	Number Agreement with Weak Quantifiers in Basque Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 13:00:33 Semantics Parts of speech Predicate logic Predicate Cumulativity Noun phrase Noun Function Basque language Linguistics Syntax Grammar
419	Interface Heritage Speech across Proficiencies: Unaccusativity, Focus, and Subject Position in Spanish Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:55:41 Syntax Unaccusative verb Predicate Unergative verb Subject Focus Language Linguistics Logic Semantics
420	Peirce’s Tutorial on Existential Graphs John F. Sowa Abstract. In his formal papers on existential graphs, Peirce tended to obscure the simplicity of EGs with distracting digressions. In MS 514, however, he presented h Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2011-09-24 23:42:59 Charles Sanders Peirce Philosophical logic Diagrams Predicate logic Existential graph First-order logic Universal quantification Function Logical graph Logic Mathematics Mathematical logic

UPDATE